Loại tài liệu:    Chỉ tìm trong: 
21-30 trong số 31 kết quả
An introduction to TTCN-3
Tác giả: Colin Willcock
Xuất bản: Chichester: Wiley, 2011
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.13
 
Foundations of Software Science and Computation Structures [electronic resource] : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice
Tác giả: Mikołaj Bojańczyk, Alex Simpson
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 
Coding literacy : how computer programming is changing writing
Tác giả: Annette Vee
Xuất bản: Cambridge Massachusetts: The MIT Press, 2017
Bộ sưu tập: Tài liệu truy cập mở
ddc:  302.22440285
 
Fundamental Approaches to Software Engineering [electronic resource] : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software
Tác giả: Alessandra Russo, Andy Schürr
Xuất bản: Cham Switzerland: Springer Nature, 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceed...
Tác giả: Isil Dillig, Isil Dillig, Serdar Tasiran, Serdar Tasiran
Xuất bản: Cham Switzerland: Springer Nature, 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc:  670.42
 
Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held as Part of the European ...
Tác giả: Reiner Hähnle, Reiner Hähnle, Wil van der Aalst, Wil van der Aalst
Xuất bản: Cham Switzerland: Springer Nature, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Tác giả: Isil Dillig, Serdar Tasiran
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Fundamental Approaches to Software Engineering [electronic resource] : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software
Tác giả: Reiner Hähnle, Wil van der Aalst
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 
Foundations of Software Science and Computation Structures [electronic resource] : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice
Tác giả: Jean Goubault-Larrecq, Barbara König
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  511.3
 
Disorder in domain theory
Tác giả: Keye Martin
Xuất bản: Bristol England Temple Circus Temple Way Bristol BS1 6HG UK: IOP Publishing, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  530.12015113
 

Truy cập nhanh danh mục